منابع مشابه
Segmentation and relevance measure for speaker verification
In all the efficient speaker recognition systems, the decision score is based on the average of the likelihood ratio computed on each frame of the sentence. Except for the non speech frames which are rejected, each one has the same weight in this summation. This paper deals with the study of the speaker relevance of each frame. An automatic segmentation provides quasi stationary segments of var...
متن کاملContinued Relevance of Bit-Level Verification Research
A well-known example is the 2001 paper by the group of Sharad Malik at Princeton, appropriately titled “Chaff: Engineering an Efficient SAT Solver” [7]. This has become one of the most cited papers on formal verification and represents a major break-through, even though the contribution of this paper is not a new theoretical formulation. The contribution was in the exploitation of the synergy b...
متن کاملMatching Scores of System Relevance and User-Oriented Relevance in SID, ISC and Google Scholar
Background and Aim: The main aim of Information storage and retrieval systems is keeping and retrieving the related information means providing the related documents with users’ needs or requests. This study aimed to answer this question that how much are the system relevance and User- Oriented relevance are matched in SID, SCI and Google Scholar databases. Method: In this study 15 keywords of ...
متن کاملEffects of the phonological relevance in speaker verification
This paper analyze the effects of phonological relevance between the training and test utterances in speaker verification, and presents experimental evaluations using short test utterances in 3, 5 and 10 seconds. We quantify the phonological relevance as the occurrence ratio of the subword units of the test utterance in the training utterance. It is found that a higher phonological relevance ca...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Philosophical Quarterly
سال: 2020
ISSN: 0031-8094,1467-9213
DOI: 10.1093/pq/pqaa071